81. EDA for IC implementation, circuit design, and process technology /edited by Louis Scheffer, Luciano Lavagno, Grant Martin.
Author:
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Integrated circuits--Computer-aided design.,Integrated circuits--Design and construction.
Classification :
TK
7874
.
E257
2006
82. EDA for IC system design, verification, and testing
Author: / edited by Louis Scheffer, Luciano Lavagno, Grant Martin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing
Classification :
TK7874
.
E26
2006
83. EDA for IC system design, verification, and testing
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Computer-aided design ، Integrated circuits,Verification Data processing ، Integrated circuits
Classification :
TK
7874
.
E26
2006
84. ESD
Author: / Steven H. Voldman
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Semiconductors, Protection,Integrated circuits, Protection,Electrostatics,Analog electronic systems, Design and construction
Classification :
TK7871
.
85
.
V6525
2011
85. ESL design and verification :
Author: Brian Bailey, Grant Martin, Andrew Piziali.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Systems on a chip-- Design and construction.,Systems on a chip-- Design and construction.,Systems on a chip-- Design and construction.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
Classification :
TK7895
.
E42
B326
2007eb
86. Effective functional verification
Author: / by Srivatsa Vasudevan
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Integrated circuits -- Verification
Classification :
TK
7874
.
58
.
V37
2006
87. Electric, electronic and control engineering
Author: editors, Fun Shao, Wise Shu and Tracy Tian.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic control -- Congresses.,Electrical engineering -- Congresses.,Electronics -- Congresses.
Classification :
TK5
.
E358
9999
88. Electronic design automation for integrated circuits handbook
Author: / edited by Louise Scheffer, Luciano Lavagno, and Grant Martin
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing,Integrated circuits--Design and construction
Classification :
TK
,
7874
,.
E487
,
2006
89. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
90. Formal VLSI correctness Verification VLSI Design methods II
Author: / edited by Luc J. M. Claesen
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Integrated Circuits -- Very large scale integration -- Desige and construction -- Data processing - Congresses,Integrated circuits -- very large scale integaration -- Design and construction -- Data processing -- Congresses
Classification :
TK
7874
.
I3283
1989
91. Formal hardware verification : methods and systems in comparison
Author: Thomas Kropf, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
Classification :
QA
76
.
L28
Vol
.
1287
92. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
Author: Mandayam Srivas, Albert Camilleri, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1166
93. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
Author: Ganesh Gopalakrishnan, Philip Windley )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1522
94. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
Author: Alan J. Hu, Andrew K. Martin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
3312
95. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
Author: Mark D. Aagaard, John W. O'Leary )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
Classification :
QA
76
.
L28
Vol
.
2517
96. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
Author: Warren A. Hunt, Jr., Steven D. Johnson )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
Classification :
QA
76
.
L28
Vol
.
1954
97. Formal system verification : state-of-the-art and future trends
Author: Rolf Drechsler, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
Classification :
QA
76
.
76
.
V47F6
98. Formal verification :
Author: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
Classification :
TK7867
99. Formal verification : an essential toolkit for modern VLSI design
Author: Seligman, Erik
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
Classification :
TK
7867
.
S46F6
100. Functional design errors in digital circuits
Author: / Kai-hui Chang, Igor L. Markov, Valeria Bertacco
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Digital integrated circuit--Testing,Digital integrated circuit--Design and construction,Integrated circuit--Fault tolerance,Integrated circuit--Verification
Classification :
E-BOOK
